#ifndef __KERN_MM_BUDDY_SYSTEM_PMM_H__
#define  __KERN_MM_BUDDY_SYSTEM_PMM_H__


#include<pmm.h>

#define MAX_NUM_BUDDY 10050

extern const struct pmm_manager buddy_system_pmm_manager;
#endif